1 Undefined–26 IOS Press Probabilistic Description Logics under the

Source URL: ds.ing.unife.it

Digital Enlightenment Yearbook 2013 M. Hildebrandt et al. (Eds.) IOS Press, 2013 © 2013 The authors. doi:

Source URL: prisec.kau.se

1 Fundamenta Informaticae 1–16 IOS Press Quantum testers for hidden group properties

Source URL: www.liafa.univ-paris-diderot.fr

Fundamenta Informaticae ??? (–19 1 IOS Press

Source URL: www.sci.unich.it

Journal of Computer Security–482 IOS Press 423 A derivation system and compositional logic

Source URL: seclab.stanford.edu

• Cryptography
• Cryptographic protocols
• Public-key cryptography
• Internet protocols
• DiffieHellman key exchange
• NeedhamSchroeder protocol
• Communications protocol
• Key exchange
• Protocol composition logic
• Interlock protocol

Fundamenta Informaticae 1–24 IOS Press Modelling of Complex Systems: Systems as dataflow machines Simon Bliudze∗ ´

Source URL: www.bliudze.me

Fundamenta Informaticae ??? (–19 1 IOS Press

Source URL: www.sci.unich.it

1 Semantic Web–17 IOS Press WYSIWYM – Integrated Visualization,

Source URL: www.semantic-web-journal.net

Communicating Process Architectures – 2002 James Pascoe, Peter Welch, Roger Loader and Vaidy Sunderam (Eds.) IOS Press, 2002 1

Source URL: www.wotug.org

1 Undefined–24 IOS Press The Use of Semantic Web Technologies for

Source URL: www.semantic-web-journal.net